ISBN
.nu
search for books and compare prices
Words in title
Author
ISBN
Search
Advanced search
displaying 1 to 1 | at end
Leslie Lamport
(4)
Works include:
Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers
;
The Latex Companions: Slipcased
;
Latex: A Documentation Preparation System User's Guide and Reference Manual
and
The Latex Document Preparation System: User's Guide & Reference Manual
displaying 1 to 1 | at end